Automatic differentiation in geophysical inverse problems
نویسندگان
چکیده
S U M M A R Y Automatic differentiation (AD) is the technique whereby output variables of a computer code evaluating any complicated function (e.g. the solution to a differential equation) can be differentiated with respect to the input variables. Often AD tools take the form of source to source translators and produce computer code without the need for deriving and hand coding of explicit mathematical formulae by the user. The power of AD lies in the fact that it combines the generality of finite difference techniques and the accuracy and efficiency of analytical derivatives, while at the same time eliminating ‘human’ coding errors. It also provides the possibility of accurate, efficient derivative calculation from complex ‘forward’ codes where no analytical derivatives are possible and finite difference techniques are too cumbersome. AD is already having a major impact in areas such as optimization, meteorology and oceanography. Similarly it has considerable potential for use in non-linear inverse problems in geophysics where linearization is desirable, or for sensitivity analysis of large numerical simulation codes, for example, wave propagation and geodynamic modelling. At present, however, AD tools appear to be little used in the geosciences. Here we report on experiments using a state of the art AD tool to perform source to source code translation in a range of geoscience problems. These include calculating derivatives for Gibbs free energy minimization, seismic receiver function inversion, and seismic ray tracing. Issues of accuracy and efficiency are discussed.
منابع مشابه
Efficient Calculation of Jacobian and Adjoint Vector Products in Wave Propagational Inverse Problem Using Automatic Differentiation
Wave propagational inverse problems arise in several applications including medical imaging and geophysical exploration. In these problems, one is interested in obtaining the parameters describing the medium from its response to excitations. The problems are characterized by their large size, and by the hyperbolic equation which models the physical phenomena. The inverse problems are often pose...
متن کامل2D inversion of gravity data in bedrock identification (case study: a part of Qotrum plain in Yazd province)
Introduction The gravity method measures the vertical component of the acceleration at the Earth’s surface. The earth’s gravity field is affected by the density of different rocks and structures. Therefore, this method can be used in mineral exploration or studying the subsurface cavities and structures such as bedrocks, channels, and dikes. Inverse modeling is useful in understanding the p...
متن کاملInverse Problems in Finite Element Method Using Automatic Differentiation
The progress of computer and numerical technique in recent years allows us not only complex numerical simulation but also resolution of inverse problems. It is important to pursue higher and higher quality of gradient computation (it is called sensitivity analysis) in inverse problem and this is the most bone-crushing point. In this study, the authors will propose the forward mode automatic dif...
متن کاملOn the Solution of Some Inverse Problems in Infiltration
In this paper we discuss inverse problems in infiltration. We propose an efficient method for identification of model parameters, e.g., soil parameters for unsaturated porous media. Our concept is strongly based on the finite speed of propagation of the wetness front during the infiltration into a dry region. We determine the unknown parameters from the corresponding ODE system arising from the...
متن کاملEcient Calculation of Jacobian and Adjoint Vector Products in Wave Propagational Inverse Problem Using Automatic Dierentiation
Wave propagational inverse problems arise in several applications including medical imaging and geophysical exploration. In these problems, one is interested in obtaining the parameters describing the medium from its response to excitations. The problems are characterized by their large size, and by the hyperbolic equation which models the physical phenomena. The inverse problems are often pose...
متن کامل